<?php 
 include_once dirname(__FILE__)."/config.php";
 class dev_users extends dev_users_principal{
}
?>